Dawn Song - PDFSEARCH.IO - Document Search Engine

Dawn Song
Results: 140

#	Item
81	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
82	FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications Prateek Saxena§ Steve Hanna§ Pongsin Poosankam‡§ Dawn Song§ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Scripting languages Software testing Ajax JavaScript Cross-platform software Cross-site scripting JSON Cross-site request forgery Code injection Computing Computer security Cyberwarfare
83	Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Software quality Cyberwarfare Vulnerability Buffer overflow Fuzz testing Stack Heap overflow Exploit Memory safety Software bugs Software testing Computer security
84	Privacy-Preserving Set Operations Lea Kissner Dawn Song Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-11-19 16:59:50 Polynomials Commutative algebra Multiset Invariant theory IP Computer algebra Factorization of polynomials over a finite field and irreducibility tests Arithmetic circuit complexity Abstract algebra Mathematics Algebra
85	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
86	Binary Code Extraction and Interface Identification for Security Applications Juan Caballero§† Noah M. Johnson† Stephen McCamant† Dawn Song† † UC Berkeley §Carnegie Mellon University Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Subroutines Procedural programming languages C++ Programming language implementation C Pointer Tail call X86 assembly language Stack Software engineering Computer programming Computing
87	HookFinder: Identifying and Understanding Malware Hooking Behaviors Heng Yin†‡ Zhenkai Liang† Dawn Song§† Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Computer security Data types Control flow Hooking Malware Rootkit Keystroke logging Computer virus Subroutine Computing Software engineering Computer programming
88	Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Computability theory Theoretical computer science Software testing Hacking Vulnerability Social vulnerability Buffer overflow Electronic signature Halting problem Mathematics Applied mathematics Computer science
89	Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software James Newsome Dawn Song May 2004 Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:29 Computer security Buffer overflow Vulnerability Valgrind Uncontrolled format string Intrusion detection system Cyberwarfare Software bugs Computing

UPDATE